Web服务组合规范WS-CDL的类型化形式化模型     

辜希武  李瑞轩  卢正鼎 《东南大学学报》2008,24(3)

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.  相似文献   

关于Java语言中方法之间数据传递的探讨     

赵海廷 《武汉工程职业技术学院学报》2006,18(1):53-56

在面向对象的Java语言中，方法是处理数据的基本模块，方法之间的数据传递是掌握编程方法的关键。本文将其方法间的数据传递归纳为：方法的实参和形参间的值传递和引用传递；方法的返回值可以分为基本数据或对象的引用；并通过实例进行了说明。  相似文献   

人称代词的虚化及其语法化解释     

曾卫军 《湖南城市学院学报》2007,28(2):81-83

人称代词“你”、“他”的虚化可按其虚化程度分为三类:“你”、“他”的活用;“你”、“他”的虚指和“他”成为指称标记。这实际上是一个由实词到虚词再到只有语用功能的附着形式的语法化过程。它遵循语法化的渐变性、单向性、并存性原则,体现了现代汉语口语中人称代词发展的趋向。  相似文献   

试论图书馆数字化参考咨询服务   总被引：1，自引：0，他引：1  

袁莉 《浙江教育学院学报》2005,(2):109-112

随着数字图书馆的发展,数字化参考咨询服务逐渐成为图书馆主流的服务方式.在对信息化条件下数字参考咨询服务工作的主要特点和形式介绍的基础上,提出了如何做好数字化参考咨询服务的一些建议.  相似文献   

从"博物"观念到"博物"学科     

于翠玲 《华中科技大学学报(社会科学版)》2006,20(3):107-112

中国古代“博物”观念及其相关工具书具有鲜明的人文特征,反映了中国传统的知识结构和分类体系。西方学科分类意义的博物学概念在近代传入中国,据此,中国编辑出版了新式博物学教科书和辞书。考察中国博物观念及其工具书从古代到近代的演变,比较中西知识结构和分类体系的不同,具有多方面的学术价值。  相似文献   

回顾与展望:成人高等教育中混合式教学的研究与发展     

邵珂硕  范衬衬 《成人教育》2019,39(11):11-15

当前,我国成人高等教育中混合式教学研究主要对混合式教学质量低、混合式教学模式构建不完善、国外先进经验缺乏等问题进行探索。回归本真、展开顶层设计,并借鉴国外先进的发展经验已成为解决上述存在于我国成人高等教育混合教学模式中问题的根本之道。  相似文献   

浅论美国宪法分权制衡原则及其借鉴价值   总被引：1，自引：0，他引：1  

钟头朱 《遵义师范学院学报》2004,6(2):21-23

1787年美国宪法最终确立了权力分立制衡原则.崇尚自由和珍视权利的殖民地人民在孟德斯鸩分权学说的深刻影响下,认真总结此前立法特别是州宪的经验,最终促成了这一原则的确定.这一原则的确立确保了美国"宪法主治",也对中国当代法治建设具有重要的借鉴作用.  相似文献   

有效选择原理及其应用     

汪波  郭子秀 《天津大学学报(英文版)》1996,(2)

通过对中国两个合资企业员工甄选过程的研究，探讨了有效选择原理及其在中国的应用．就基于与聘职相关的行为与情境传导结构的甄选面试的重要性与合理性进行了分析论述，并结合中国的实例进行了实证研究．提出了加拿大雇主应寻求的结果类型以及员工或代理所应具备的素质．最后，讨论了该方法的使用及参照检验．  相似文献   

试论《死者》的死亡主题及其象征手法     

郑亚娟 《湖北成人教育学院学报》2007,13(2):60-61

《死者》是英国意识流小说大师乔伊斯的著名小说,讲述了发生在都柏林圣诞节期间的故事。本文从细节描写和象征手法两个方面分析了《死者》中的死亡主题,并揭示了都柏林人道德、精神的麻痹状态和无力自拔的痛苦。  相似文献   

功能与参照系     

孟宪强 《邢台学院学报》2002,17(2):42-44

本文通过在力的作用下的物体运动实例的定量分析 ,得出“功能的量值与参照系有关 ,但功能关系却对任何参照系都能适用”的重要结论 ;同时还说明“机械能与其它形式的能的相互转换 ,是用转换能量的一对相互作用力做功之和来量度的”这一道理  相似文献